DSet $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$s$:PosetSig$\mid$ IsEqFun($\mid$$s$$\mid$;=$_{b}$)\}